#ifndef __CLOCK_8253_H_
#define __CLOCK_8253_H_
#include <clock.h>

#define IO_COUNTER0     0x40
#define IO_COUNTER1     0x41
#define IO_COUNTER2     0x42
#define IO_CLOCK_CTL    0x43

#define CLOCK_8253_HZ   1193180
#define TIMER_COUNT     CLOCK_8253_HZ/HZ

void arch_clock_init(void);

#endif